On the decidability and complexity of the structural congruence for beta-binders
نویسندگان
چکیده
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a structural congruence. The treatment of the structural congruence is essential for implementation. We present a subset of the calculus for which the structural congruence is decidable and a subset for which it is also efficiently solvable. The obtained results are a first step towards implementations.
منابع مشابه
Effect of Reclaimed rubber Modification on the Rheological Properties and Rutting Resistance of Asphalt Binders
In this paper, the effect of reclaimed rubber modification on the rheological characteristics of asphalt binders is studied. Reclaimed rubber with the extent of 12, 16 and 20 is added to the neat asphalt binder and then shear complex modulus is obtained for neat and modified asphalt binder via Dynamic Shear Rheometer (DSR) test. Using Christensen-Anderson- Marasteanu (CAM) model, master curves ...
متن کاملThe Dark Side of Consumer–Brand Relationship: Do Ideal Self-Congruence, Brand Attachment and Personality Factors Affect Negative Consumer Behaviors?
The present study aims to investigate the effect of ideal self-congruence, brand attachment and some personality factors on the negative behaviors of consumers such as compulsive buying, anti-brand actions, and trash talking. The research population was comprised of customers of four IT service brands including Samsung, HP, Sony, and Apple in Iran. Structural equation modeling approach and PLS ...
متن کاملThe Network Associations of the Meccan Izaiyyah Surahs
The arrangement of verses in the Quranic surahs, the proximity of the surahs and the congruence between the surahs of the same group have always been one of the important issues in Quranic sciences, which has been dealt with under such titles as the order of the verses and the congruence of the surahs. The network associations of the Quranic surahs is a new term that speaks of the structural an...
متن کاملCognitive Task Complexity and Iranian EFL Learners’ Written Linguistic Performance across Writing Proficiency Levels
Recently tasks, as the basic units of syllabi, and the cognitive complexity, as the criterion for sequencing them, have caught many second language researchers’ attention. This study sought to explore the effect of utilizing the cognitively simple and complex tasks on high- and low-proficient EFL Iranian writers’ linguistic performance, i.e., fluency, accuracy, lexical complexity, and structura...
متن کاملA Structural Model for Evaluation of the Structural Complexity Dimensions of Health and Treatment Network of Firuzabad, Fars Province, Iran, using Design Structure Matrix and Quality Function Deployment Techniques
Summery: One of the latest methods for analysis of structural complexity is, Design Structure Matrix which has been used and has been given, lots of attention in academic and scientific centers in recent years. This project was undertaken in order to reveal the structural complexity of Frirooz Abad (Fars Province) Healthcare network. This analytical research has descriptive and realistic dime...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 404 شماره
صفحات -
تاریخ انتشار 2008